package tarantula.experiment.math;

import junit.framework.TestCase;

public class MathFailedTestsSimpleTestsBug1 extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getOne();
	    org.apache.commons.math.dfp.Dfp var4 = var3.remainder(var3);
	    org.apache.commons.math.dfp.Dfp var5 = var3.remainder(var4);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }
	
	public void test5() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
	    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
	    org.apache.commons.math.dfp.Dfp var3 = var2.getOne();
	    org.apache.commons.math.dfp.Dfp var4 = var3.remainder(var3);
	    org.apache.commons.math.dfp.Dfp var5 = org.apache.commons.math.dfp.DfpMath.log(var4);
	    
	    // Checks the contract:  var5.equals(var5)
	    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

	  }
	
	 public void test8() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
		    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
		    org.apache.commons.math.dfp.Dfp var3 = var2.getOne();
		    org.apache.commons.math.dfp.Dfp var4 = var3.subtract(var3);
		    org.apache.commons.math.dfp.Dfp var5 = var4.divide((int)var1);
		    
		    // Checks the contract:  var5.equals(var5)
		    assertTrue("Contract failed: var5.equals(var5)", var5.equals(var5));

		  }
	 
	 public void test14() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
		    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
		    org.apache.commons.math.dfp.Dfp var3 = var2.getSqr2();
		    org.apache.commons.math.dfp.Dfp var4 = org.apache.commons.math.dfp.DfpMath.acos(var3);
		    
		    // Checks the contract:  var4.equals(var4)
		    assertTrue("Contract failed: var4.equals(var4)", var4.equals(var4));

		  }
	 
	 public void test15() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    int var1 = org.apache.commons.math.util.MathUtils.compareTo((double)var0, (double)var0, (double)var0);
		    org.apache.commons.math.dfp.DfpField var2 = new org.apache.commons.math.dfp.DfpField(var1);
		    org.apache.commons.math.dfp.Dfp var3 = var2.getZero();
		    double[] var4 = new double[] { var0, var0, var0};
		    org.apache.commons.math.linear.ArrayRealVector var5 = new org.apache.commons.math.linear.ArrayRealVector(var4);
		    int var6 = var5.getMaxIndex();
		    boolean var7 = org.apache.commons.math.util.MathUtils.equalsIncludingNaN((double)var0, (double)var0, (double)var0);
		    org.apache.commons.math.stat.descriptive.MultivariateSummaryStatistics var8 = new org.apache.commons.math.stat.descriptive.MultivariateSummaryStatistics(var6, var7);
		    java.lang.String var9 = var8.toString();
		    org.apache.commons.math.dfp.Dfp var10 = var2.newDfp(var9);
		    
		    // Checks the contract:  equals-hashcode on var3 and var10
		    assertTrue("Contract failed: equals-hashcode on var3 and var10", var3.equals(var10) ? var3.hashCode() == var10.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var10 and var3
		    assertTrue("Contract failed: equals-hashcode on var10 and var3", var10.equals(var3) ? var10.hashCode() == var3.hashCode() : true);

		  }
	 
	 
}
